ecl-trans-tuple{i:l}
ecl-trans-tuple(ds; da)
== T:Type
==  (ks:(Knd List)
==  :T
==  :(k:{k:Knd| (k  ks)} decl-state(ds)ma-valtype(da; k)TT)
==  :(T)
==  (:((k:{k:Knd| (k  ks)} decl-state(ds)ma-valtype(da; k)T))
==  ( List))) 

latex

---

clarification:

ecl-trans-tuple{i:l}
ecl-trans-tuple(ds; da)
== T:Type{i}
==  (ks:(Knd List)
==  :T
==  :(k:{k:Knd| (k  ks  Knd)} decl-state(ds)ma-valtype(da; k)TT)
==  :(T)
==  (:((k:{k:Knd| (k  ks  Knd)} decl-state(ds)ma-valtype(da; k)T))
==  ( List))) 

latex

Definitions	ecl-trans-tuple{i:l}(ds; da), , (x  l), Knd, decl-state(ds), ma-valtype(da; k), ,
FDL editor aliases	ecl-trans-tuple